#include <stdarg.h>
#include <stdio.h>
#include <sys/printk.h>

static char buf[1024];

void debugk(const char *file, int line, const char *fmt, ...)
{
    va_list ap;
    va_start(ap, fmt);
    vsprintf(buf, fmt, ap);
    va_end(ap);
    printk("[%s] [%d] %s", file, line, buf);
}
